QUESTIONS IN TWO-DIMENSIONAL LOGIC

Abstract Since Kripke, philosophers have distinguished a priori true statements from necessarily ones. A statement is if its truth can be established before experience, and it could not been false according to logical or metaphysical laws. This distinction captured formally using two-dimensional semantics. There natural way extend the notions of apriority necessity so they also apply questions. Questions either cannot resolved are about necessary facts. Classical two-dimensionalism has no account question meanings, combined with framework for semantics in order capture these observations. It shown [14] how inquisitive semantics, which questions analyzed terms information. The present paper investigates logic provides complete proof system.